منابع مشابه
Formação de Licenciados em Computação no Brasil - Desenvolvimento e Utilização do ROBOKIT
In this paper, we describe the current rules for teacher training in Brazil and the importance to prepare them to work with educational robotics. There are not many robotic kits manufacture in Brazil, therefore the ROBOKIT was developed to help in the training of teacher’s and to motivate the national production of robotic kits.
متن کاملAnálise da Formação e Evolução de Times de Desenvolvimento no Hibernate-ORM
Various factors influence the formation and evolution of relationships in social networks. Here, we have developed a platform called AuthView to characterize the behavior of developers in Hibernate-ORM and how their relationships evolve. The results show that (1) developers tend to start contributing to a project from specific files; (2) small developers tend to share knowledge of a project mod...
متن کاملClosed nominal rewriting and efficiently computable nominal
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...
متن کاملA formação crítica do sujeito na educação a distância
According to a criticai approach, the contemporary world, crossed by the new technologies of communication and information, has sustained and built alienation. An emancipation project could be the criticai formation of the subject, the individual capable of criticai thinking and acting in the world to change it. This study aims to indicate a way to critically educate the subject through distanc...
متن کاملNominal Algebra
Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical structures, for example groups, rings, and fields. It has also been applied to study the mathematical properties of mathematical truth and computability. For example boolean algebras correspond to classical truth, heyting algebras correspond to intuitionistic truth, cyl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Línguas e Instrumentos Línguísticos
سال: 2020
ISSN: 2674-7375
DOI: 10.20396/lil.v23i46.8661636